CatDat

Implication Details

Assumptions: finitely cocompleteself-dual

Conclusions: finitely complete

Reason: This holds by self-duality.